形式语言与自动机^计算机数学

所谓形式，就是和实物、实际、具体相对而言，是抽象的，纯粹理论的。形而上学的“形”，也是这个意思。
基本上，形式语言是以数学描述语言。比如语句最终由“终结符号”组成，这里主要就是集合论的内容；“产生式”，又相当于映射或者函数。
程序设计语言是形式语言，但形式语言的涵义要深、广。

自动机理论主要是对“通用计算”的抽象。有了对通用计算的描述，使用机械让计算自动起来就只是一个工程技术上的问题。

基本上说，这些理论背后的数学是离散数学。